(0 18 15)(1 19 5)(2 9 4)(3 20 17)(6 12 10)(7 14 8)(11 16 13)
ALLOWS (11/8)-SEQUENCE
1: (3 17 20)
(0 18 15)(1 19 5)(2 9 4)(3 17 20)(6 12 10)(7 14 8)(11 16 13)
2: (1 19 5)
(0 18 15)(1)(2 9 4)(3 17 20)(5)(6 12 10)(7 14 8)(11 16 13)(19)
3: (3 17 20)
(0 18 15)(1)(2 9 4)(3)(5)(6 12 10)(7 14 8)(11 16 13)(17)(19)(20)
4: (2 9 4)
(0 18 15)(1)(2)(3)(4)(5)(6 12 10)(7 14 8)(9)(11 16 13)(17)(19)(20)